Problem Session at ALCOM-91

Problems for Problem Session

is its closed normal subgroup, [Sh], [Ka]. The group Aut∗k k [n] is an infinite dimensional simple algebraic group, [Sh]. If D is a locally nilpotent k-derivation of k, then it is easily seen that exp tD ∈ Aut∗k k [n] for any t ∈ k, so D lies in Lie(Aut∗k k ). It follows from [BB1], [BB2] that n − 1 is the maximum of dimensions of algebraic tori contained in Aut∗k k , and that every algebraic t...

Open problem session

Let P be a simple piecewise-geodesic curve on a sphere, i.e., a curve composed of a finite sequence of arcs of great circles that do not intersect except at shared endpoints. A development of P is a polygonal chain in the plane whose segments have the same lengths as the arcs of P, and whose angles correspond to the angles between the arcs on the sphere. A development can be viewed as created b...

Session Track at TREC 2010

Research in Information Retrieval has traditionally focused on serving the best results for a single query, e.g. the most relevant results, a single most relevant result, or a facet-spanning set of results. In practice, no matter the task, users often enter a sufficiently ill-specified query that one or more reformulations are needed in order to locate a sufficient number of what they seek. Ear...

Session Types at the Mirror

We (re)define session types as projections of process behaviors with respect to the communication channels they use. In this setting, we give session types a semantics based on fair testing. The outcome is a unified theory of behavioral types that shares common aspects with conversation types and that encompass features of both dyadic and multi-party session types. The point of view we provide ...

ICTNET at Session Track TREC